Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

Source URL: homes.sice.indiana.edu

• Type theory
• Software engineering
• Programming language theory
• Computing
• Scheme
• System F
• Type system
• HindleyMilner type system
• Racket
• Boolean data type
• Macro
• Typing environment

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

Cambridge University Press3 - Secure Multiparty Computation and Secret Sharing Ronald Cramer, Ivan Bjerre Damgård and Jesper Buus Nielsen Table of Contents More information

Source URL: users-cs.au.dk

• Cryptography
• Public-key cryptography
• Secret sharing
• Secure multi-party computation
• Cryptographic protocol
• Ivan Damgrd

Acceleration of the Abstract Fixpoint Computation in Numerical Program Analysis Olivier Bouissou CEA LIST, Laboratory for the Modeling and Analysis of Interacting SystemsGif-sur-Yvette, France

Source URL: perso.ensta-paristech.fr

• Mathematics
• Metaphysics
• Fixed point
• Game theory
• Abstract interpretation
• Sequence
• Structure
• Dynamical system
• Model theory
• Series
• KnasterTarski theorem
• operator

Practical improvements to class group and regulator computation of real quadratic fields Jean-Fran¸cois Biasse1 and Michael J. Jacobson, Jr.2? ´ Ecole Polytechnique, 91128 Palaiseau, France

Source URL: www.lix.polytechnique.fr

• Algebra
• Mathematics
• Abstract algebra
• Algebraic number theory
• Integer factorization algorithms
• Quadratic forms
• Field theory
• Numerical linear algebra
• Quadratic sieve
• Factorization
• Factor base
• Ideal class group

De menswetenschappen in de schaduw van God? Rens Bod Universiteit van Amsterdam Institute for Logic, Language and Computation

Source URL: www.nvwf.nl

Semidefinite Programming Duality Implications for System Theory and Computation Venkataramanan (Ragu) Balakrishnan School of ECE, Purdue University 6 July, 2004

Source URL: engineering.purdue.edu

Adaptive Behavior Natural Selection and Cultural Selection in the Evolution of Communication Kenny Smith Language Evolution and Computation Research Unit, Department of Theoretical and Applied

Source URL: www.lel.ed.ac.uk

Fabric: A Platform for Secure Distributed Computation and Storage Jed Liu Michael D. George K. Vikram Xin Qi Lucas Waye

Source URL: www.cs.cornell.edu

SIGEVOlution Volume 10 Issue 1 newsletter of the ACM Special Interest Group on Genetic and Evolutionary Computation

Source URL: homepages.ecs.vuw.ac.nz